Bernhard Steffen: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung, (eds.)

عام:

2020

اللغة:

english

ملف:

PDF, 71.08 MB

0 / 5.0

english, 2020

2

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Tiziana Margaria (editor), Bernhard Steffen (editor)

عام:

2021

اللغة:

english

ملف:

PDF, 29.21 MB

0 / 5.0

english, 2021

3

WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2023

اللغة:

english

ملف:

PDF, 9.73 MB

0 / 5.0

english, 2023

4

Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung

عام:

2022

اللغة:

english

ملف:

PDF, 71.48 MB

0 / 4.0

english, 2022

5

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

عام:

2020

اللغة:

english

ملف:

PDF, 27.77 MB

0 / 0

english, 2020

6

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

عام:

1998

اللغة:

english

ملف:

PDF, 3.04 MB

0 / 0

english, 1998

7

Computing and Software Science: State of the Art and Perspectives

Computing and Software Science: State of the Art and Perspectives

Springer International Publishing

Bernhard Steffen, Gerhard Woeginger

عام:

2019

اللغة:

english

ملف:

PDF, 25.29 MB

0 / 0

english, 2019

8

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

عام:

2020

اللغة:

english

ملف:

PDF, 32.16 MB

0 / 0

english, 2020

9

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

عام:

2019

اللغة:

english

ملف:

PDF, 9.90 MB

0 / 0

english, 2019

10

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Spyridon Bakas & Alessandro Crimi & Ujjwal Baid & Sylwia Malec & Monika Pytlarz & Bhakti Baheti & Maximilian Zenk & Reuben Dorent & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2023

ملف:

PDF, 46.35 MB

0 / 0

2023

11

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

عام:

2020

اللغة:

english

ملف:

PDF, 28.03 MB

0 / 0

english, 2020

12

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2022

اللغة:

english

ملف:

EPUB, 122.08 MB

0 / 4.5

english, 2022

13

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 6.37 MB

0 / 0

english, 1996

14

Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

عام:

2008

اللغة:

english

ملف:

PDF, 12.67 MB

0 / 0

english, 2008

15

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2021

اللغة:

english

ملف:

PDF, 7.67 MB

0 / 0

english, 2021

16

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2022

اللغة:

english

ملف:

EPUB, 74.87 MB

0 / 5.0

english, 2022

17

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 64.11 MB

0 / 0

english, 2016

18

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 8.96 MB

0 / 0

english, 2012

19

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2014

اللغة:

english

ملف:

PDF, 17.08 MB

0 / 0

english, 2014

20

Computing and software science, state of the art and perspectives

Computing and software science, state of the art and perspectives

Springer International Publishing : Imprint: Springer

Steffen, Bernhard., Woeginger, Gerhard

عام:

2019

اللغة:

english

ملف:

PDF, 6.53 MB

0 / 0

english, 2019

21

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2021

اللغة:

english

ملف:

EPUB, 601 KB

0 / 0

english, 2021

22

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

عام:

2010

اللغة:

english

ملف:

PDF, 13.99 MB

0 / 0

english, 2010

23

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 3.60 MB

0 / 0

english, 1996

24

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 2.40 MB

0 / 0

english, 2006

25

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 35.10 MB

0 / 0

english, 2009

26

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 2.81 MB

0 / 0

english, 2002

27

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

اللغة:

english

ملف:

EPUB, 10.33 MB

0 / 0

english

28

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 13.00 MB

0 / 0

english, 2010

29

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 13.02 MB

0 / 0

english, 2010

30

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria, Bernhard Steffen

عام:

2010

اللغة:

english

ملف:

PDF, 9.82 MB

0 / 0

english, 2010

31

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2023

اللغة:

english

ملف:

PDF, 6.81 MB

0 / 5.0

english, 2023

32

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

عام:

2009

اللغة:

german

ملف:

PDF, 17.33 MB

0 / 0

german, 2009

33

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

عام:

1998

اللغة:

english

ملف:

PDF, 7.31 MB

0 / 0

english, 1998

34

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 11.26 MB

0 / 0

english, 2012

35

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

ملف:

RTF , 3.98 MB

0 / 0

36

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung

عام:

2021

اللغة:

english

ملف:

AZW3 , 5.69 MB

0 / 0

english, 2021

37

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 8.98 MB

0 / 0

english, 2010

38

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 2.13 MB

0 / 0

english, 2006

39

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 9.02 MB

0 / 0

english, 2010

40

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

عام:

2019

اللغة:

english

ملف:

PDF, 9.84 MB

0 / 0

english, 2019

41

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

عام:

1998

اللغة:

english

ملف:

DJVU, 6.59 MB

0 / 0

english, 1998

42

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 9.02 MB

0 / 0

english, 2010

43

Advances in Cryptology – CRYPTO 2022

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2022

ملف:

PDF, 10.06 MB

0 / 0

2022

44

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2021

اللغة:

english

ملف:

LIT , 5.52 MB

0 / 0

english, 2021

45

Computer Vision – ECCV 2022 Workshops

Computer Vision – ECCV 2022 Workshops

Leonid Karlinsky & Tomer Michaeli & Ko Nishino & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

عام:

2023

ملف:

PDF, 70.86 MB

0 / 0

2023

46

Graphical Models for Security

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2020

اللغة:

english

ملف:

PDF, 13.15 MB

0 / 5.0

english, 2020

47

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2021

اللغة:

english

ملف:

MOBI , 2.09 MB

0 / 0

english, 2021

48

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

اللغة:

english

ملف:

EPUB, 6.66 MB

0 / 0

english

49

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

عام:

2021

اللغة:

english

ملف:

FB2 , 7.71 MB

0 / 0

english, 2021

50

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

عام:

2009

اللغة:

german-english

ملف:

PDF, 9.31 MB

0 / 5.0

german-english, 2009